Extension of hereditary classes with substitutions
نویسندگان
چکیده
منابع مشابه
Extension of Hereditary Classes with Substitutions Extension of Hereditary Classes with Substitutions
Let G and H be graphs. A substitution of H in G instead of a vertex v 2 V (G) is the graph G(v ! H), which consists of disjoint union of H and G ? v with the additional edge-set fxy : x 2 V (H); y 2 N G (v)g. For a hereditary class of graphs P, the substitutional closure of P is deened as the class P consisting of all graphs which can be obtained from graphs in P by repeated substitutions. Let ...
متن کاملNormalization by hereditary substitutions
We analyze a normalization function for the simply typed λ-calculus based on hereditary substitutions, a technique developed by Pfenning et al. The normalizer is implemented in Agda, a total language where all programs terminate. It requires no termination proof since it is structurally recursive which is recognized by Agda’s termination checker. Using Agda as an interactive theorem prover we e...
متن کاملExtension of Hereditary Symmetry Operators
Two models of candidates for hereditary symmetry operators are proposed and thus many nonlinear systems of evolution equations possessing infinitely many commutative symmetries may be generated. Some concrete structures of hereditary symmetry operators are carefully analyzed on the base of the resulting general conditions and several corresponding nonlinear systems are explicitly given out as i...
متن کاملOn growth rates of hereditary permutation classes
A class of permutations is called hereditary if implies where the relation is the natural containment of permutations Let n be the set of all permutations of n belonging to We investigate the counting functions n j nj of hereditary classes Our main result says that if j nj n for at least one n then there is a unique k such that Fn k j nj Fn k n c holds for all n with a constant c Here Fn k are ...
متن کاملOn Hereditary Helly Classes of Graphs
In graph theory, the Helly property has been applied to families of sets, such as cliques, disks, bicliques, and neighbourhoods, leading to the classes of clique-Helly, disk-Helly, biclique-Helly, neighbourhood-Helly graphs, respectively. A natural question is to determine for which graphs the corresponding Helly property holds, for every induced subgraph. This leads to the corresponding classe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 2003
ISSN: 0166-218X
DOI: 10.1016/s0166-218x(02)00507-3